منابع مشابه
∗ Jan
We formulate a complete path integral bosonization procedure for any fermionic theory in two dimensions. The classical action of the bosons in the bosonized theory is −i times the logarithm of the Jacobian of a local chiral transformation, with the boson fields as transformation parameters. Three examples, the Schwinger model, the massive Thirring model and massive non-Abelian bosonization, are...
متن کاملProof Labeling Schemes ∗ Amos Korman
This paper addresses the problem of locally verifying global properties. Several natural questions are studied, such as “how expensive is local verification?” and more specifically “how expensive is local verification compared to computation?” A suitable model is introduced in which these questions are studied in terms of the number of bits a node needs to communicate. In addition, approaches a...
متن کاملCompetitive Paging Algorithms AMOS FIAT
The paging problem is that of deciding which pages to keep in a memory of k pages in order to minimize the number of page faults. We develop the marking algorithm, a randomized on-line algorithm for the paging problem. We prove that its expected cost on any sequence of requests is within a factor of 2Hk of optimum. (Where Hk is the kth harmonic number, which is roughly Ink.) The best such facto...
متن کاملJan 2011
Online content have become an important medium to disseminate information and express opinions. With the proliferation of online document collections, users are faced with the problem of missing the big picture in a sea of irrelevant and/or diverse content. In this thesis, we addresses the problem of information organization of online document collections, and provide algorithms that create a s...
متن کاملAMOS - An Architecture for Active Mediators
AMOS (Active Mediators Object System) is an architecture to model, locate, search, combine, update, and monitor data in information systems with many work stations connected using fast communication networks. The approach is called active mediators, since it introduces an intermediate level of ‘mediator’ software between data sources and their use in applications and by users, and since it supp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: St.Tikhons' University Review. Series III. Philology
سال: 2020
ISSN: 1991-6485,1991-6485
DOI: 10.15382/sturiii202064.121-138